Sharedkey相关论文
In order to solve the difficult problem of carrying on the long- distance management to the user terminal from the netwo......
Spi演算通过在Pi演算中增加描述密码学协议的原语支持对基于共享密钥的安全协议的描述,通过测试等价Spi演算简化了所描述的安全协议的验证,它......